Knihy od autora Bernhard Beckert

Zobrazené 1 – 11 z 11 výsledkov

1. 

   Logic of Software. A Tasting Menu of Formal Methods

   Einar Broch Johnsen, Richard Bubel, Bernhard Beckert | Springer International Publishing AG, 2022

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   102.86 €

   Zľava 7 %

   Ušetríte 8.62 €

   Kúpiť
2. 

   Formal Verification of Object-Oriented Software

   Bernhard Beckert | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   Skladom u dodávateľa - Odosielame za 9 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   55.97 €

   Kúpiť
3. 

   Tests and Proofs

   Bernhard Beckert, Reiner Hähnle | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.63 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
4. 

   Electronic Voting

   Robert Krimmer, Melanie Volkamer, Veronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid | Springer Nature Switzerland AG, 2019

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   59.81 €

   Zľava 7 %

   Ušetríte 4.97 €

   Kúpiť
5. 

   Verification of Object-Oriented Software. The KeY Approach

   Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   102.86 €

   Zľava 7 %

   Ušetríte 8.62 €

   Kúpiť
6. 

   Formal Verification of Object-Oriented Software

   Bernhard Beckert, Ferruccio Damiani, Dilian Gurov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   47.48 €

   Zľava 7 %

   Ušetríte 3.96 €

   Kúpiť
7. 

   Deductive Software Verification: Future Perspectives

   Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, Richard Bubel | Springer Nature Switzerland AG, 2020

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.63 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
8. 

   Electronic Voting

   Melanie Volkamer, Bernhard Beckert, Mikhel Solvak, Oksana Kulyk, David Duenas-Cid, Ralf Küsters | Springer Nature Switzerland AG, 2020

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.63 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
9. 

   Formal Methods for Components and Objects

   Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.63 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
10. 

    Automated Reasoning with Analytic Tableaux and Related Methods

    Bernhard Beckert | Springer, Berlin, 2005

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    51.63 €

    Zľava 7 %

    Ušetríte 4.28 €

    Kúpiť
11. 

    Deductive Software Verification - The KeY Book

    Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich | Springer International Publishing AG, 2016

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    123.38 €

    Zľava 7 %

    Ušetríte 10.32 €

    Kúpiť

Výber z miliónov titulov vám len tak niekto neponúkne. Zistite viac